Msgtype(${\it da}$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(${\it da}$;KindDeq;$k$;Void)